#ifndef IPT_H
#define IPT_H

#include "translate.h"
#include "PageTableEntry.h"

class IPTEntry: public TranslationEntry{ //store ipt in system.cc
	public:
		int spaceID;		
		time_t timestamp; //timestamp
		
};

#endif
